home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-04 / prolog_1.zip / READ.ME < prev    next >
Text File  |  1990-07-28  |  11KB  |  397 lines
  1.  
  2.  
  3.  
  4.         Updated  12/10/87
  5.  
  6.         The distribution has grown so much that we have had to put it  on
  7.         two disks.
  8.  
  9.         Disk 1 contains the archive file "PDPROLOG.ZIP", which contains:
  10.  
  11.              1. The PDPROLOG.EXE executable.
  12.              2. The configuration program PRCONF.EXE.
  13.              3. The documentation file PROLOG.DOC
  14.              4. A simple editor.
  15.              5. The  program  PKUNZIP.EXE, which is used  to  unpack  the
  16.                 archives on disk 1 and disk 2.
  17.  
  18.         Disk 2 contains:
  19.  
  20.              The  sample  and library files, contained  multiple  archive
  21.              files, divided by subject.
  22.  
  23.         Unpacking  PD PROLOG and installing it on your computer  consists
  24.         of  using the program PKUNZIP.EXE to unpack the various  archives,
  25.         and  putting  their  contents  on  appropriate  floppy  discs  or
  26.         subdirectories  in your computer's hard drive. We have  attempted
  27.         to make these instructions self contained, but that is not really
  28.         possible.  IF  YOU DO NOT UNDERSTAND SUBDIRECTORIES  OR  THE  DOS
  29.         "PATH" COMMAND, FIND A KNOWLEDGABLE PERSON TO HELP YOU.
  30.  
  31.         In  what follows, the symbol <CR> means that you are to type  the
  32.         "ENTER" key.
  33.  
  34.  
  35.  
  36.  
  37.  
  38.  
  39.  
  40.  
  41.  
  42.  
  43.  
  44.  
  45.  
  46.  
  47.  
  48.  
  49.  
  50.  
  51.  
  52.  
  53.  
  54.  
  55.  
  56.  
  57.  
  58.  
  59.  
  60.  
  61.                                         1
  62.  
  63.  
  64.  
  65.  
  66.  
  67.  
  68.  
  69.  
  70.                            Installation on a Hard Disk
  71.  
  72.         If  you  have  a  hard  disk,  you may wish to  extract  all  the
  73.         archives  at  once. To unpack disk 1, proceed as  follows.
  74.  
  75.              1)  Create a directory on the hard disk, which you may  wish
  76.              to  call "prolog" and copy pdprolog.zip and pkunzip.exe  into
  77.              it.
  78.  
  79.              2) Run "pkunzip *.*<CR>"
  80.  
  81.              3)  Type  "del  pdprolog.zip" (You have  extracted  all  the
  82.              archives from prolog.zip, and therefore no longer need  this
  83.              file.
  84.  
  85.         To unpack Disk 2:
  86.  
  87.              1)   Create  a  directory  which  you  may  wish  to   title 
  88.              "\prolog\samples" on the hard disk and copy prolog.zip  from
  89.              disk 2 into it.
  90.  
  91.              2) Do a directory of disk "b:" 
  92.  
  93.              3)  You  will see that the directory contains  many  archive
  94.              files.  Each of these archive files in turn contains  prolog
  95.              source  code  and/or  additional  archive  files.  Create  a
  96.              subdirectory on your hard disk for each. For example, create 
  97.              a directory entitled "\prolog\samples\cad", for the  archive
  98.              containing computer aided design programs.
  99.  
  100.              4) Copy each archive file into its own directory, and  clean
  101.              up the directory "\prolog\samples" by typing "erase *.*".
  102.  
  103.              6) Enter each archive and run "pkunzip *.*<CR>". Then  "erase
  104.              *.zip",  to remove each archive from the hard disk once  you
  105.              have unpacked its contents.
  106.  
  107.  
  108.  
  109.  
  110.  
  111.  
  112.  
  113.  
  114.  
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121.  
  122.  
  123.  
  124.  
  125.  
  126.  
  127.                                         2
  128.  
  129.  
  130.  
  131.  
  132.  
  133.  
  134.  
  135.  
  136.                       Installation on a Floppy Based System
  137.  
  138.         If  you  have a floppy based system with only one  floppy,  don't 
  139.         call me. Find a system with at least two floppies.
  140.  
  141.         If  you  have a floppy based system with at least  two  floppies, 
  142.         follow this procedure:
  143.  
  144.              1)  Make  a backup copy of this diskette.  Then  unpack  the
  145.              archive  file  "prolog.zip",  using the  "pkunzip.exe"  program
  146.              described below.
  147.  
  148.              2)  Format a diskette and put "command.com" on it.  Then  do
  149.              the following:
  150.  
  151.                   a) Put the formatted disk in "a:", and PD disk 1 in 
  152.                       "b:". 
  153.  
  154.                   b) Log onto disk "a:". 
  155.  
  156.                   c) Type: "pkunzip b:pdprolog<CR> *.*" This will extract
  157.                      the executable file "pdprolog.exe, the configuration 
  158.                      program  "prconf.exe",  and the  documentation  file 
  159.                      "prolog.doc".
  160.                   
  161.                   d)  Put disk "a:" aside. It will become  your  "working 
  162.                      diskette" in a later step.
  163.  
  164.              3) Print out the documentation file "prolog.doc"
  165.  
  166.              4) Since you printed out "prolog.doc", you may erase it from
  167.              the diskette to save room. Modify your working disk so  that 
  168.              it contains the following:
  169.  
  170.                   a) command.com
  171.                   b) pdprolog.exe
  172.                   c) prconf.exe, which is used to configure  the  memory 
  173.                      usage of PD PROLOG (see the file PROLOG.DOC)
  174.                   d)   a   small   editor,   which  you   should   rename 
  175.                   "prologed.com"  if you wish to execute it  from  within
  176.                   the type PD. You may use any editor of your choice, but 
  177.                      the smaller the better.
  178.  
  179.              
  180.              5) Format two diskettes and put "command.com" on each.  Then
  181.              do the following: 
  182.  
  183.                   a) Put  the  formatted disk in "a:" and PD  disk  2  in 
  184.                      "b:".   
  185.                   b) Log onto disk "a:". Type "copy b:pkunzip.exe a:<CR>".
  186.  
  187.                   c) Remove PD disk 2 from "b:" and inser PD disk 1.
  188.                   
  189.                   d) Type: "pkunzip b:prolog <name of the archive you wish
  190.                      to  unpack>"  This will cause the  contents  of  the 
  191.  
  192.  
  193.                                         3
  194.  
  195.  
  196.  
  197.  
  198.  
  199.  
  200.  
  201.  
  202.                      selected archive to be put on disk "a:".
  203.                   e) In  some cases, the archive contains  archive  files
  204.                      which must be unpacked by a similar procedure.
  205.  
  206.                   f) Disk "a:" now contains pieces of Prolog source code, 
  207.                      which  are files ending with the  extension  ".pro".
  208.                      Normally you will have the working disk in "a:", and
  209.                      Prolog  source  code  in "b:". Use  the  DOS  "path" 
  210.                      command to set the search path to "a:".
  211.  
  212.  
  213.  
  214.  
  215.  
  216.  
  217.  
  218.  
  219.  
  220.  
  221.  
  222.  
  223.  
  224.  
  225.  
  226.  
  227.  
  228.  
  229.  
  230.  
  231.  
  232.  
  233.  
  234.  
  235.  
  236.  
  237.  
  238.  
  239.  
  240.  
  241.  
  242.  
  243.  
  244.  
  245.  
  246.  
  247.  
  248.  
  249.  
  250.  
  251.  
  252.  
  253.  
  254.  
  255.  
  256.  
  257.  
  258.  
  259.                                         4
  260.  
  261.  
  262.  
  263.  
  264.  
  265.  
  266.  
  267.  
  268.                               Contents of the Disks
  269.              
  270.  
  271.         PD Disk 1 has  the  following  major objects:
  272.  
  273.         PKUNZIP.EXE -
  274.              This   is  the  program  which  extracts  files  from  files 
  275.              archives.  A listing of commands can be obtained by invoking
  276.              it  as  "PKZIP<CR>".  To  extract  all  the  files  from  a 
  277.              particular archive, type "PKZIP <archive name, without  the
  278.              "ZIP"> where <CR> means "ENTER", or carriage return. 
  279.  
  280.  
  281.         PDPROLOG.ZIP - 
  282.              a)  PDPROLOG.EXE.  The  public  domain,  proprietary  PROLOG 
  283.              language  interpreter.  You may give PDPROLOG to anyone.  If 
  284.              you purchased a Prolog system from us, another disk contains 
  285.              a copyrighted A.D.A. Prolog system. 
  286.  
  287.              b)  PROLOG.DOC.   You  should  immediately  print  out  this 
  288.              documentation, since it contains the implementation specific 
  289.              information.
  290.  
  291.              c) PRCONF.EXE. This program must be run before an editor can
  292.              be executed from inside PROLOG.  Read PROLOG.DOC for info on
  293.              how to do it.
  294.  
  295.              d) PROLOGED.COM.
  296.              A  simple screen editor for invocation  within  Prolog.  You 
  297.              must configure PDPROLOG for memory before use. If the editor 
  298.              does not run,  you haven't configured PD PROLOG properly. If 
  299.              the editor runs but does not work properly,  please  contact 
  300.              the author,  Li Su, at (612)-866-2871.
  301.                   Any  small editor can be installed in place of PROLOGED 
  302.              simply by renaming it to have this name.
  303.  
  304.         PD PROLOG Disk 2 has the following archives:
  305.  
  306.  
  307.         CHART.ZIP
  308.              Contains  a  chart  parser  written by  Peter  Ross  of  the 
  309.              University of Edinburgh.  Modified slightly to bring it into 
  310.              conformance with C & M Prolog.
  311.  
  312.         EXPERT.ZIP -
  313.              These   are   expert   systems  for  specific   domains   of
  314.              information. Medical, rockblasting, fault diagnosis, etc.
  315.  
  316.         GAMES.ZIP -
  317.              Some simple board games and adventure games in Prolog.  Also 
  318.              a chess King-Rook-King endgame program.
  319.  
  320.         GRAMMAR.ZIP -
  321.              A  very nice interactive ATN (augmented  transition  network 
  322.              parser). 
  323.  
  324.  
  325.                                         5
  326.  
  327.  
  328.  
  329.  
  330.  
  331.  
  332.  
  333.  
  334.  
  335.         LOGIC.ZIP -
  336.              Contains Skolemization program to convert Predicate Calculus 
  337.              statements  into Prolog statements.  Covers material exposed 
  338.              in  Clocksin and Mellish.  Also contains a Wang algorithm to 
  339.              prove correctness of logical formulae.
  340.  
  341.         MATH.ZIP - 
  342.  
  343.              Contains   permutation  generators  and   symbolic   algebra 
  344.              programs.
  345.  
  346.         PIE.ZIP -
  347.              This   archive  contains Simon  Blackwell's   public  domain
  348.              expert  system shell program.  The documentation  is  not 
  349.              complete yet.
  350.  
  351.         PUZZLES.ZIP -
  352.              The encoding of puzzles in Prolog demonstrates techniques of 
  353.              translating word problems into unambiguous logic.
  354.  
  355.         SAMPLES.ZIP -
  356.              This   archive  contains a variety  of   Prolog  programming
  357.              examples   which  illustrate some of  the  points  of Prolog   
  358.              programming.    Note   that  the  book    mentioned    above 
  359.              unfortunately  contains  numerous mistakes in the  examples.  
  360.              You should refer to these files for the corrections.
  361.  
  362.         UTILITY.ZIP -
  363.              Some  reasonably  useful examples of  relational  databases, 
  364.              etc.
  365.  
  366.                                           Bob
  367.  
  368.                                      Support
  369.  
  370.              This is not a game disk.  It is extremely  educational,  and 
  371.         requires  the same kind of effort you would put into a university 
  372.         computer science course.
  373.  
  374.         You may call me for assistance provided that:
  375.  
  376.              a)  you have purchased the book "Programming in Prolog",  by
  377.                  Clocksin  and  Mellish,  or  are  familiar  with  DEC-10 
  378.                  Prolog.
  379.  
  380.              b)  you have printed out prolog.doc and read it thorougly.
  381.  
  382.  
  383.  
  384.  
  385.  
  386.  
  387.  
  388.  
  389.  
  390.  
  391.                                         6
  392.  
  393.  
  394.  
  395.  
  396.  
  397.